The Möbius Modeling Tool
نویسندگان
چکیده
Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to compare new and existing formalisms and solvers. This paper describes the method that a new modeling tool, called Möbius, uses to eliminate these limitations. Möbius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool without changing those already implemented. Möbius provides this capability through the use of an abstract functional interface, which provides a formalism-independent interface to models. This allows models expressed in multiple formalisms to interact with each other, and with multiple solvers.
منابع مشابه
Möbius: An Extensible Tool for Performance and Dependability Modeling
Möbius is a tool for building performance and dependability models of stochastic, discrete-event systems. Möbius makes validation of large dependability models possible by supporting many different model solution methods as well as model specification in multiple modeling formalisms. The motivation for building the Möbius tool is based upon the observation that no formalism has shown itself to ...
متن کاملDesign and Implementation of an Extensible Tool for Performance and Dependability Model Evaluation by Gerard
The goal of the Möbius project is to develop an object-oriented, formalism-independent, stochastic modeling framework, and to implement the framework in a practical, performance-dependability evaluation tool. The Möbius framework is the specification of an abstract notion of modeling in which models may be represented in many formalisms. The Möbius tool uses this flexible modeling approach for ...
متن کاملImplementing the ADVISE security modeling formalism in Möbius
The ADversary VIew Security Evaluation (ADVISE) model formalism provides a system security model from the perspective of an adversary. An ADVISE atomic model consists of an attack execution graph (AEG) composed of attack steps, system state variables, and attack goals, as well as an adversary profile that defines the abilities and interests of a particular adversary. The ADVISE formalism has be...
متن کاملImplementing a Stochastic Process Algebra within the Möbius Modeling Framework
Many formalisms and solution methods exist for performance and dependability modeling. However, different formalisms have different advantages and strengths, and no one formalism is universally used. The Möbius tool was built to provide multi-formalism multi-solution modeling, and allows the modeler to develop models in any supported formalism. A formalism can be implemented in Möbius if a mapp...
متن کاملReliability Analysis with Dynamic Reliability Block Diagrams in the Möbius Modeling Tool
Reliability block diagram (RBD) models are a commonly used reliability analysis method. For static RBD models, combinatorial solution techniques are easy and efficient. However, static RBDs are limited in their ability to express varying system state, dependent events, and non-series-parallel topologies. A recent extension to RBDs, called Dynamic Reliability Block Diagrams (DRBD), has eliminate...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001